Skip to content

README: docs-coverage badge, gate-backed like the coverage badge#23

Merged
jeqcho merged 1 commit into
mainfrom
docs/docstring-badge
Jul 14, 2026
Merged

README: docs-coverage badge, gate-backed like the coverage badge#23
jeqcho merged 1 commit into
mainfrom
docs/docstring-badge

Conversation

@jeqcho

@jeqcho jeqcho commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

One-line follow-up to #22: the public-docstrings badge next to the coverage badge, backed by the ruff D1 gate that makes the number enforced rather than aspirational.

🤖 Generated with Claude Code

Follow-up to #22, which added the ruff D1 public-docstring gate.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@jeqcho
jeqcho merged commit eec2a40 into main Jul 14, 2026
12 checks passed
@jeqcho
jeqcho deleted the docs/docstring-badge branch July 14, 2026 01:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant